4

Efficient emptiness check for timed Büchi automata

Year:
2012
Language:
english
File:
PDF, 890 KB
english, 2012
11

Better abstractions for timed automata

Year:
2016
Language:
english
File:
PDF, 1.25 MB
english, 2016